Proper subsemigroup

Translation proper subsemigroup into russian

Every proper subsemigroup of a group is not a group.

Каждая собственная подполугруппа группы не является группой.